davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgยท10h
๐Ÿ“Compression Bounds
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท21hยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.comยท8hยท
Discuss: www.blogger.com
๐Ÿ“ŠComputational Geometry
The mathematical essence of origami blue-and-white porcelain
aperiodical.comยท2d
๐Ÿ“Mathematical Art
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
Log-ish
johndcook.comยท23h
๐Ÿ”—Tailscale
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท28m
๐Ÿ“ŠGraph Databases
Historic paintings are being reborn with MIT's AI-based restoration method
techspot.comยท1dยท
Discuss: r/technews
๐Ÿ“„Document Digitization
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท22hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.toยท4hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity
Unfolding the Past: A Comprehensive Deep Learning Approach to Analyzing Incunabula Pages
arxiv.orgยท1d
๐Ÿค–Manuscript AI
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
Portable Network Graphics (PNG) Specification (Third Edition)
w3.orgยท17hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebP Analysis
Billiard Fractals from floor(kยทโˆš2) mod 2 โ€“ visualizing symbolic sequences
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Hypercubical manifolds in homotopy type theory
arxiv.orgยท10h
๐Ÿ”ถCubical Type Theory
Build an agentic multimodal AI assistant with Amazon Nova and Amazon Bedrock Data Automation
aws.amazon.comยท1d
โš™๏ธBatch Processing
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity